
void portal_main(Player @player, Portal @portal) {

}